(0 20 7)(1 18 5)(2 14 4)(3 16 8)(6 11 9)(10 15 12)(13 19 17)
ALLOWS (11/8)-SEQUENCE
1: (7 10 20)

(0 20 15 12 10)(1 18 5)(2 14 4)(3 16 8)(6 11 9)(7)(13 19 17)
2: (3 16 8)

(0 20 15 12 10)(1 18 5)(2 14 4)(3)(6 11 9)(7)(8)(13 19 17)(16)
3: (6 11 9)

(0 20 15 12 10)(1 18 5)(2 14 4)(3)(6)(7)(8)(9)(11)(13 19 17)(16)
4: (0 12 10)

(0)(1 18 5)(2 14 4)(3)(6)(7)(8)(9)(10)(11)(12 20 15)(13 19 17)(16)